Nuprl Definition : ecl-trans-halt2
0,22
postcript
pdf
ecl-trans-halt2(
ds
;
da
;
A
)(
n
,
L
) == ecl-trans-h(
A
)(
n
,ecl-trans-state(
A
;
L
))
latex
Definitions
x
.
A
(
x
)
,
b
,
f
(
a
)
,
ecl-trans-h(
v
)
,
ecl-trans-state(
v
;
L
)
FDL editor aliases
ecl-trans-halt2
origin
x.A(x)
bx.A(x)b